Ideas from 'The Establishment of Scientific Semantics' by Alfred Tarski [1936], by Theme Structure

[found in 'Logic, Semantics, Meta-mathematics' by Tarski,Alfred [Hackett 1956,0-915144-76-x]].

green numbers give full details    |     back to texts     |     expand these ideas

---

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition

13338

'"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

13337

A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules

5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic

13335

Semantics is the concepts of connections of language to reality, such as denotation, definition and truth

13336

A language containing its own semantics is inconsistent - but we can use a second language

5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction

13339

A sentence is satisfied when we can assert the sentence when the variables are assigned

13340

Satisfaction is the easiest semantical concept to define, and the others will reduce to it

5. Theory of Logic / K. Features of Logics / 2. Consistency

13341

Using the definition of truth, we can prove theories consistent within sound logics